Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings (Lecture Notes in Computer Science)
by Margus Veanes,Luca Vigano
ISBN 13: 9783642389153
Format: Paperback (244 pages) Publisher: Springer Published: 07 Jun 2013
Save for later